4 days ago · Ada programming language community. Hello everybody! I would like to announce the April (2025) Ada Monthly Meetup which will be taking place on the 5th of April at 13:00 UTC time (15:00 CEST).

Mar 25, 2025 · Hi, I just wanted to ask if there is anyone who has implemented free monads (GitHub - gbogard/free-monads-from-scratch: Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implementation. It is mostly based on Wouter Swierstra's paper, Data Types à la carte.) in Ada. I’m not sure if it’s …

Nov 21, 2024 · You could even use ranges in the predicate by the way. And the correct syntax is indicated in the Reference Manual. Here is the link to the documentation of the manual and the example 3.2 Types and Subtypes | Ada Programming Language. subtype Basic_Letter is Character -- See A.3.2 for "basic letter".

May 14, 2024 · ChatGPT-4o is purported to offer improved and more precise information compared to version 3.5, which was utilized in the previous free version. Regarding Ada’s performance, this is the statement: the perception of performance issues of Ada programming language arise from the following aspects: Safety Features:

Sep 26, 2022 · The Usenet newsgroup comp.lang.ada has been, and still is, a dedicated forum unique to the Ada programming language and technology. It’s a valuable place for questions and discussions about Ada since decades, even from before the “big renaming” when the group was called net.lang.ada (if anyone remembers)…

Apr 30, 2024 · For those who use discord or prefer discord, I’ve created an Ada Discord Server: It’s set up in Community Mode with onboarding and such, but it’s still very small and doesn’t have much in the way of moderation yet. It does link to other community channels in the “resources” area and even has a link to ada-lang.io’s rss feed so new topics will be posted there. The …

May 10, 2024 · Ada is a state-of-the art programming language used for critical software: fsmall-footprint, real-time embedded systems to large-scale enterprise systems. IMG-20240510-WA0000 717×501 54 KB Or are there any logos available that are permitted for use both for personal consumption and commercial purposes?

Jun 14, 2023 · Ada 2022 is the latest edition of the Ada programming language standard, technically denominated ISO/IEC 8652:2023, which was formally approved and officially published by ISO, the Geneva-based International Organization for Standardization, on May 2, 2023. The Ada 2022 LRM is available online: Ada 2022 Language Reference Manual.

Aug 19, 2024 · Yes, Dirk. I meant PTC. What embedded platforms does PTC support. I recall one of the the platforms was the Boeing 777. The Green Hills Ada compiler used by my [now former] client is good for its run-time efficiency. However, they are also conservative in what feature they use beyond those that were in the original Ada 83 standard.

Jan 28, 2025 · A programming language is not changing so often, and more standard Ada, which has a long period between ISO releases, and compatibility is strongly kept. Lucretia January 28, 2025, 11:45pm